Merge branch 'ebassi/for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Sun, 7 Jun 2020 01:42:21 +0000 (01:42 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Sun, 7 Jun 2020 01:42:21 +0000 (01:42 +0000)
Annotate the GtkSelectionModel callbacks

See merge request GNOME/gtk!2057


Trivial merge